Fix annoying gitignore problem