The compilation and installation is ok now.
But running the program leads to an error message
Failed to open module "file" in ..."file.bfio": undefined symbol: __aeabi_idivmod
So it seems there is some problem with modulo division (gcc/ARM/...)
Anyway this is beyond my understanding right now.
With Raspbian I have not got such an error.