For my project I had to modify the Teensy Audio library - 2 new .cpp/.h pairs added, 6 existing files modified. Before I did it the brute force way - inside the distribution Audio library. Would it work if I create a new library in the home directory instead, called "Audio_mods" with the appropriate Audio_mods.h file, then add my new files and copy files from the system Audio library that I need to modify ? I would include "Audio_mods.h" and "Audio.h" in my project file. Would it pick the modded files (same file names) from the local library instead of the distribution library ? How the library file selection priority works in Arduino ?