Fix --disable-mpi-profile option so it can build

cmr:v1.7.3:reviewer=hjelmn