minor tweaks to Teensy.mk