correct version info in deb-filename