My attention has been drawn to a name clash between a csound
subprogram and a program from elsewhere. We have a number of
renamings in distro .rpm, .deb,.. files already so I was wondering if
it might not be a good idea to change some of these program names to
something that indicates it is part of csound.