QuickCheck generates some boring files