hackage, cabal-get, and security