patch applied (cabal-install): Rearrange config settings and global command line settings