Removes old auto-generated headers

See #1