Somehow a line got repeated

Probably won't cause problems, but clearly a bug.
just removing a duplicate line
Merge pull request #1207 from rjeschmi/openmpi-bug-line-repeate

Somehow a line got repeated in openmpi-1.8.1