patch applied (cabal): JHC.getInstalledPackages: remove check for --user flag, since JHC-0.7.2 supports local packages