I can think of a few different options to try:

a) When Teensy installs on Arduino it installs the Teensy program as well, as a reboot and reset program: Look in your Arduino install/hardware/tools...