build_without_ghci.patch
