widgetset compilation fix