make ivory-quickcheck tests run with gcc too