avoid_quickcheck.patch
avoid_seahash.patch
