Hi Paul, I'm using Teensyduino 1.54 I think (I'm using Visual Studio Code on Linux Mint with Platform.io and I'm not sure how to check). It was the first version that had long file name support.
I'm not transmitting with IRremote, just receiving commands from a remote control.
I'm using this...