I am trying to set up Teensyduino on Ubuntu Linux 22.04 to program Teensy 4.1 lockable. I have previously generated the PEM key on a windows system and have gone through the steps to lock the Teensy device. I would like to program the lockable Teensy from Ubuntu using the already generated key. Where do I need to put the PEM key in Ubuntu Linux so that the Teensyduino software sees it? Are they any environmental variables that need to be set? I have tried putting it in ~/Arduino ~/.arduino15 and ~/.arduinoIDE but it does not seem to generate EHEX files when I compile.