OpenMPI: upgrade to 1.8