Sorry, forgot about the rename - did that, no workie :)
Errors for 3.5, 3.6 and 4.0
All a little different
Arduino: 1.8.12 (Windows 10), TD: 1.51-beta1, Board: "Teensy 4.0, Serial, 600 MHz, Faster, US English"
C:\arduino-1.8.12\arduino-builder -dump-prefs -logger=machine -hardware...