out-of-tree builds: 'make', 'make check', 'make check-mpi' and 'make install' all work.