.gitignore: don;t accidentally ignore some files