Re: [GHC] #8741: `System.Directory.getPermissions` fails on read-only filesystem