Fix setver.sh handling of Debian release versions