Fix no_mpi