Now running tests even with a different DESTDIR works (fixing debian buildd test failures, when tests are run without the prior install)