Ok, I went ahead and chose Serial and this allows it to present the ACM device /dev/ttyACM0 after programming, which allows me to select that as the port to talk to the Teensy with. Unfortunately it still doesn't help to get it to program the Teensy automatically, I get the "report this error...