The new release of the Teensyduino is very good, but I found a bug and the bug is reproducable on different computers/ Notebooks, under Windows 8.1 and Windows 10, as well as on the Arduino IDE 1.8.5...