Fix for arm-eabi.