patch applied (cabal): JHC.getInstalledPackages: adapt to package lists emitted by jhc-0.7.2