increasing compatibility for compiling with arm-eabi-gcc-4.7