fix version string for deb