Arduino: 1.8.4 (Mac OS X), TD: 1.38, Board: "Teensy LC, Serial, 48 MHz, Smallest Code, US English"

In file included from /Applications/Arduino.app/Contents/Java/hardware/teensy/avr/cores/teensy3/IntervalTimer.h:34:0,
                 from /Applications/Arduino.app/Contents/Java/hardware/teensy/avr/cores/teensy3/IntervalTimer.cpp:31:
/Applications/Arduino.app/Contents/Java/hardware/teensy/avr/cores/teensy3/IntervalTimer.cpp: In member function 'void IntervalTimer::end()':
/Applications/Arduino.app/Contents/Java/hardware/teensy/avr/cores/teensy3/IntervalTimer.cpp:87:20: error: 'IRQ_PIT_CH0' was not declared in this scope
   NVIC_DISABLE_IRQ(IRQ_PIT_CH0 + index);
                    ^
/Applications/Arduino.app/Contents/Java/hardware/teensy/avr/cores/teensy3/kinetis.h:5627:68: note: in definition of macro 'NVIC_DISABLE_IRQ'
 #define NVIC_DISABLE_IRQ(n) (*((volatile uint32_t *)0xE000E180 + ((n) >> 5)) = (1 << ((n) & 31)))
                                                                    ^
Error compiling for board Teensy LC.

This report would have more information with
"Show verbose output during compilation"
option enabled in File -> Preferences.