change name of lib to just quickcheck