[Hackage] #773: Default value for flag ignored, but explicit flag assignment is honored