Well … it was late, and I was tired. The correct question would be: What have I done to break the setup? The answer for this question would be: Apply the modifications and the build script I used for 3.2_dev.
I have cloned the repo again and simply followed the instructions and it worked like a charm.
Sorry for the false alarm …
Edit: I did find a couple of things, nothing to do with Sonic Pi directly. I have opened another thread just for reference.