Remove automatically generated files

These shouldn't have been included in the first place, since they are
bound to change and are generated automatically from others.