.gitignore now ignores extensionless files