.gitignore to avoid weird file names