That is built in to the Teensy core and only included when a USB type with MIDI is selected in the Tools menu with a Teensy board, so they won't work with standard Arduino boards. A lot of Arduino...