Hi, the packages in the Ubuntu PPA still have 0.18.0 in their name, although they actually build the current master, which is at 0.19. Is there a way to adapt that automatically? Stefan