Fix weird gitignore issue