Teensy 2.x?
If MCU is same AVR type and clock, I'd think the .hex would work. But bear in mind the time and effort that have gone into Teensyduino libraries for Teensy 2,3 by the proprietor.
Can't you just use Arduino's development IDE?
Teensy 3.x is unlike Teensy 2.x above.