specify platform-teensy 4.17.0 because platformio/platform-teensy#108

platformio.ini

@@ -13,7 +13,7 @@ default_envs = pcb_t3n
 
 ;;; for building for prototype version (deftaudio teensy8x8, st7789, gpio gates)
 [env:prototype]
-platform = teensy
+platform = teensy@4.17.0
 board = teensy41
 framework = arduino
 extra_scripts=pre:add_git_branch.py
@@ -49,7 +49,7 @@ monitor_filters = time
 
 ;;; for building for eurorack module version (pcbs, ili9341, mcp23s17 gates)
 [env:pcb_bodmer]
-platform = teensy
+platform = teensy@4.17.0
 board = teensy41
 framework = arduino
 extra_scripts=pre:add_git_branch.py
@@ -98,7 +98,7 @@ monitor_filters = time
 
 ;;; for building for eurorack module version (ili9341, mcp23s17 gates)
 [env:pcb_t3n]
-platform = teensy
+platform = teensy@4.17.0
 board = teensy41
 framework = arduino
 extra_scripts=pre:add_git_branch.py
@@ -144,7 +144,7 @@ monitor_filters = time
 
 ;;; for building for eurorack module version (ili9341, mcp23s17 gates)
 [env:pcb_t3n_debug]
-platform = teensy
+platform = teensy@4.17.0
 board = teensy41
 framework = arduino
 extra_scripts=pre:add_git_branch.py
@@ -207,7 +207,7 @@ debug_init_cmds =
 debug_init_break =
 
 [env:debug]
-platform = teensy
+platform = teensy@4.17.0
 board = teensy41
 framework = arduino
 build_unflags = -DUSB_SERIAL