update for teensyduino 1.15rc2