do not use soft-float abi, modern toolchains built against hard-float