Add missing file after incorrect .gitignore