[Bug 810598] The openmpi package does not add mpirun to the PATH