well @robin.newman post is the way to follow and that’s the steps i have done.
I guess you download the zip file. so the name folder you get is different than the one if you use
So i suggest you to rename your sonic-pi-master into
sonic-pi and maybe the paths will be fixed.
hope it helps.
ps : Burn down the disco, Hang the blessed DJ