I think that - the ARDUIO define should actually be named ARDUINO (main.cpp for example checks for an existing definition of ARDUINO) - the teensyduino version is 1.20 now