Another fix for gitignore