Updating open-mpi to latest stable 1.8.1