[Bug 665774] mpicc doesn't work if openmpi-devel is not installed