Hi John, apologies for the delay --we have been in the past few weeks very busy moving Ciao from SVN to git, which also means lots of changes in our continuous integration process, package building, installation. The move to git is allowing some nice new things but we still need some time to complete the transition. Thanks for your patience... Cheers, --Manuel H