Fix teensy to work with the latest tree.
Merge pull request #784 from dhylands/fix-teensy-2014-08-02

Fix teensy to work with the latest tree.