Problem solved ... thanks to all for your help. Happily, Arduino 2.0.0 was released this week, and I was able to install it. The problem of selecting the wrong SD library went away, and the crash disappeared too (I also increased the AudioMemory() setting, which was too low.)
I have to add that...