remove autogenerated files entirely to avoid git merge pain