no-quickcheck.patch