New command to make for quickcheck-ci