lock ghc
fix dump_supplements