71dfba9ed3
Remove --enable-mpi-profile configure option (i.e., always build PMPI bindings)
Remove --enable-mpi-profile configure option (i.e., always build PMPI bindings)