disable-leaky-tests.diff
no-annotations-without-ghci.patch
