[PATCH] Allow setting the temporary scratch directory.