Added missing file (blocked by .gitignore).