Yes you are right, it all works now. I've always been stupidly confused by which tarball was which on Github :( Sorry for the confusion. I'll merge now. -- Pierre Neidhardt