Following your advice to clean out old csound files, I deleted all of
/usr/lib/csound and reinstalled.  Problem solved!

Thank you all for your swift and helpful responses.

Jeremy Henty