Add missing file (hidden by global .gitignore)