patch applied (cabal): Replace three separate copies of no_extra_flags with one version