removed get_extension (fltk has it already)