Raspberry Pi port, piCore-15.0 is available!
Corrected. But be aware that this changes the dep file of all fltk extensions!Xprogs.tcz, flwm.tcz, flwm_topside.tcz, wbar.tcz, ...