serious: deb doesn't publish if the version hasn't been bumped