patch for FLTK-1.3.x-r9849