WIDGETOBJS=font.cmo 
