Fixed the build command for the QuickCheck tests.