#2930: please tag csound bugfix release into F-12