toolchain. This is only a temporary work-around until we either fix the other toolchain bug or switch to a different toolchain.