This copy of RadioHead is modified for Teensy
Ths original RadioHead is available here:
https://www.airspayce.com/mikem/arduino/RadioHead/