I'm trying to work on a project using the Teensy Audio library, which says it installs automatically with Teensyduino. However when I install Teensyduino on OSX 10.15 and try to run some example code it fails at the audio library import with the error:

exit status 1
Audio.h: No such file or directory
Is the Teensy Audio library not included on the Teensyduino install for OSX 10.15? If so it would be great if this were documented somewhere...