Fix installation of ghc-split (#8760)