Temporary fix for FLTK 1.3.3