/ghc-boot-pkgdb/