Hi Paul. Here is the Arduino output, the Verbose Log, followed by the teensy_reboot_log. - Glenn
Arduino: 1.6.13 (Windows 10), TD: 1.33-beta1, Board: "Teensy 3.2 / 3.1, Serial, 96 MHz optimize speed (overclock), US English"
Opening Teensy Loader...
Error compiling for board Teensy 3.2 / 3.1...