Re: [GHC] #11003: Suggested fix for incorrect directory permissions is wrong