fix for --disable-mpi