Fix Teensy problems, see issue #200