Add missing file (fix #61).