build quickcheck dependency for travis