Raspberry Pi port, piCore-15.0 is available!
Instead, I think I will have the startup script create a symlink fl_picsee --> flpicsee instead of rebuilding and retesting the app for such a small fix.