Re: [GHC] #5251: copyFile does not copy metadata