32-bit gcc in Arduino Due linux 64-bit 1.5.5 tar file ?

Hi,

I just downloaded Arduino 1.5.5 Beta 64-bit (http://downloads.arduino.cc/arduino-1.5.5-linux64.tgz) for my new arduino Due board and I get the error message "Cannot run program "......./arm-non-eabi-g++".

It looks like the gcc binaries are 32-bit executables, not 64-bit executables ! Is this intended ?

file arduino-1.5.5/hardware/tools/g++_arm_none_eabi/bin/arm-none-eabi-g++
arduino-1.5.5/hardware/tools/g++_arm_none_eabi/bin/arm-none-eabi-g++: ELF 32-bit LSB executable, Intel 80386, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 2.2.5, stripped

Thanks