Merge change 2524 into donut

* changes:
  Force the use of 32-bit toolchain binaries on 64-bit systems. This is used to reduce the number of distributable prebuilt packages (i.e. linux-x86_64 is not needed anymore).