fixed (I think); Francesco, your feedback is very appreciated.
If you can, compile the git version and run csound with your
oldest settings (when you have had the segfault, before my suggestion).

I hope to see good news

tito