(hopefully final) gitignore change