What is  state of the git  mirror?  It looks  a little old -  the last
commit there is from December and it builds a csound that claims to be
version 5.18.04 beta.

Regards,

Jeremy Henty