debian/: fix minor version glitch