small cleanup in gitignore