fixes in nao .gitignore