gitignore to avoid tracking compiled files