with MPI=0, there is no reason to append .mpi to the build tree
with MPI=0, there is no reason to append .mpi to the build tree

mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs