local cabal should override system cabal
add push.default for older versions of git