#4418: Get rid of mpiwrappers-1-4.fc15