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