Minor tweak to dirnames in gitignore