Copy the contents of this directory to a scratch directory before invoking
the Makefile.