Fix support for disabling mpi