It seems Teensy does not uses a fixed serial port (like the Leonardo), you should ask in the Teensy forum.