Thank you very much for the information. Now, just to be sure, I downloaded the TeensyDuino 1.59 beta2 code installer for Arduino IDE 1.8.x. I installed it.
I set the "Smalles Code with LTO" option. I chose a simple blink code from the example library.
I uploaded it after compile. That worked...