I am attempting to use my new Teensy on a linux host that has Arduino installed using the AppImage installer. The Teensyduino installer needs the installation directory to install the teensy libraries. Are there instructions for how to handle this?