The essential problem here is that the toolchain that the Arduino
environment ships with is one version too old to support the
Atmega128RFA1 that powers the Zigduino. You need avr-gcc-4.3.3 or
later to do that (the wiki is in error, and thank you for bringing
that to my attention). On a Windows installation, that toolchain is in
the tools/avr directory. On Linux, AIUI, the Arduino IDE uses the
system-wide version of avr-gcc. So, if you've installed the latest
version of avr-gcc and avr-libc you should be good to go.
-p