build_without_ghci.patch
alex3-hack.patch
