qcheck 0.1.1, with dependency on unix