patch for FLTK-1.3.2