use_x-terminal-emulator.patch
remove_temporary_ghcfiles.patch
