patch quickcheck2 to get it buyilding