"lib/version.txt" file missing in Teensyduino 1.56

#1

See attached screenshot.
teensyduino screenshot

I tried to follow the instructions from Getting Started with Tympan Rev E · Tympan/Docs Wiki · GitHub but might have missed something.

Installed the * Linux Installer (X86 64 bit) from Teensyduino: Download and Install Teensy support into the Arduino IDE

The screenshot is from where Teensyduino: Download and Install Teensy support into the Arduino IDE says
“If the Next button will not activate, click the “?” button for more information” which shows all the lib/version errors.
:
What did I do wrong? Can anybody see it?

#2

Sorry, but I have not tried the Linux version of Arduino with Teensyduino. If none can spot an issue in this forum try the PJRC forum. Can you upload a simple blink sketch from Arduino’s example? PJRC (Teensy) Forum