gitignore: aux files added