remove old ivory-quickcheck