Re: infelicitous (incorrect?) ordering of flags passed to GHC