[glyphy] Add missing file