Just updated Arduino 1.8.13 (from 1.8.4) and Teensyduino 1.53 (from 1.44) and found that "Adafruit_gfx" is missing.
Does this have any particular reason?
I copied "adafruit_gfx" from Teensyduino 1.44, now my sketch compiles again.