Re: [GHC] #11980: Testsuite: run each test in its own /tmp directory, after copying required files