I add a --no_mpi configure option to allow users to manually disable mpi.