the problem being "Binary compiled with -mfloat-abi=hard but without -DUSE_EABI_HARDFLOAT"