Re: [Hackage] #164: bad error message when using configuration flags that were not defined