Update installation instructions regarding OpenMPI.