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