Hi Simon, > Due to the way our apt repo is managed I don't think we'll be able to update > this until the next release... But it will get fixed then. When will that be? :-) What tools do you use to mange the apt-repository? Regards, Oluf