Arduino IDE v1.8.9 is the particular version that works with the TeensyDuino Add-on v1.4.7 used to flash the BackBit.