/tools/ghc-split/