CoreAPI: remove generated files (already in .gitignore)