Hi,
I just installed teensyduino 1.32 and updated Arduino to 1.6.13. This is the first time I'm using this Teensy 3.2 and when I click the compile button the IDE tells me (verbose output):
Arduino: 1.6.13 (Mac OS X), TD: 1.32, Board: "Teensy 3.2 / 3.1, Serial, 72 MHz optimize speed, US...