A tiny problem with the teensy board
Did you follow the instructions at http://pjrc.com/teensy/teensyduino.html? You have to install some stuff to use the Arduino environment for Teensy - this combination is affectionately known as Teensyduino...