gitignore: avoid compiled files.