Re: [Hackage] #547: mandir seems to get the wrong default