Hi all,

While enjoying the brilliant Teensy audio library and building a VLF receiver using a Teensy 4.0 and the audio shield, I ran into intermittent problems with Teensy Loader on Ubuntu 18.04. One day it works just fine, the next it complains "Teensy Loader could not find the directory /tmp/arduino_build_719040". The directory does exist however, uninstalling Arduino IDE and Teensyduino does not solve the issue.

Any pointers appreciated!

Thanks,

Wouter Jan