Adding --without-mpi to DISTCHECK options when MPI is disabled strangely leads to failure. Removing it.