I had to do the same fix to Blinky Example Source Code from http://www.pjrc.com/teensy/gcc.html on Debian GNU/Linux.