Update for quickcheck tests
Remove binary files