Removed files

I (think) that these files are auto-generated and not needed in the
repo.