Switch to boosted-arm-eabi-4.7 toolchain