Untested, but probably fixes build: ld: error: lto.tmp: cannot link object files with different floating-point ABI