Actually, TD 1.48 Beta 1 works as well. It is just the 1.48 release version that fails.
Please ignore "Install script from arduino.cc fails to install launcher." Because I wanted to test it on a fresh Ubuntu...
It was working with Arduino 1.8.9 and Teensyduino 1.47.
Now Arduino 1.8.10 with Teensyduino 1.48 install is broken on fresh Jetson Nano dev kit SD image https://developer.nvidia.com/embedded/jetpack#install
...