Re: [GHC] #12971: Paths are encoded incorrectly when invoking GCC