Hi,
thanks to your postings I finally did the same as you and compiled SuperCollider 3.8.0.
This did the trick 
Sonic Pi is running again… puhhh… Thanks for that.
Ahh, not to forget the Vanilla Supercollider: this posting by Sam also did help.
Martin