Any chance this workaround might not be needed in the future? Has there been discussion with Sam Aaron about this?
He did use pisound a few weeks ago at the Raspberry Pi birthday party, as you pointed out (thanks for that link). And he really enjoys things which require as little fiddling as possible. Since the new version of Sonic Pi has MIDI I/O along with a live_audio feature, making sure SPi works seamlessly with pisound could become rather important.
At the same time, it doesn’t sound like a big deal to change. It’s just that the comment about updates makes it a bit of a scary prospect.