Teensyduino 1.48 was been released, with the fix for this problem.