* .gitignore: ignore autogenerated files