Great job you're doing here!!
Yesterday I got to get it working on my pocketchip. I tried building myself, but I started getting some errors about cflags and libsdl (probably due to my null experience on linux building). I have not access to my pocketchip right now, but I'll post the exact message later.
For the moment, I'm using garvalf's binary (v.075, I think) and it's working OK, but I would like to keep it updated, so I think I'll must start to learn about building.
Can't wait to play with this and the upcoming sonic pi's midi functionality