have --disable-mpi explicitly trump petsc