more fine-grained fallback for --disable-mpi