Issue #105: Add missing files.