Fix missing file (ignored by .gitignore rule).