patch applied (cabal-branches/cabal-1.4): Replace three separate copies of no_extra_flags with one version