Somehow a line got repeated in openmpi-1.8.1

Probably won't cause problems, but clearly a bug.
this is most likely just a copy-pasting issue...