adjust for quickcheck-ci