handle deb7 appendix in ghc-7.8.1 tarball url