Add missing file (fixes: #1).