workaround faulty fltk installs (e.g. in current Debian or Ubuntu)