Bug#1111125: fixed 1111125 in openmpi/5.0.8-2, closing 1111125

[Samuel Thibault]

fixed 1111125 openmpi/5.0.8-2
close 1111125 openmpi/5.0.8-2
thanks