Exakt das hat mich dazu gebracht, FLTK aufzugeben und mir ein anderes GUI-Toolkit zu suchen.
Jetzt, wo ich die Alternativen gesehen habe, benutze ich doch wieder FLTK.