Somehow a line got repeated in openmpi-1.8.1

Probably won't cause problems, but clearly a bug.