Fix version number handling for debs.