Somehow a line got repeated in openmpi-1.8.1

Probably won't cause problems, but clearly a bug.
which may imply that a line is missing... can you investigate how it compares with other easyconfigs?