Re: [Hackage] #755: high verbosity should make configure verbose as well ?