defines now included in teensyduino 1.19 rc2