Fix build to work with QuickCheck >= 2.7