compatibility with a new arm-linux-gnueabi toolchain