Is there anyone using 32-bit Linux experiencing this problem?
Linux polaris 188.8.131.52-0.2-default #1 SMP 2008-10-21 16:30:26 +0200 x86_64 GNU/Linux
what in the world do libc implementations on the host computer have to do with what is uploaded to the Arduino
What do you want an elf file of? mikalhart's sketch?
Wild guess: the arduino-0012 software was written for AMD64. Perhaps there's a snag hat occurs when running it on Intel 64 bit boxen?
Could you give me the version of your avr-libc, avr-gcc and avr-binutils ?
What is different between OSX backends and Ubuntu backends, for the avr-gcc cross-compiled stdlib?
(random() is in the Wiring Math library WMath.cpp, and it calls rand() from clib.)