Re: [GHC] #12971: Change default tmpdir (was: gcc not finding default temporary directory)