changed quickcheck version