Bug: 32-Bit compiler in Software DUE 64bit


I'm working with the Arduino DUE (software 1.5.1) on a 64-Bit Linux distro. I'm not able to build any project because the provided compiler binaries for the ARM toolchain (in folder ./hardware/tools/g++_arm_none_eabi/) are all 32-bit executables and therefore miss system dependencies. The AVR toolchain seems to work fine.

Is it planned to provide a pure 64-bit environment for future releases?