Fix Debian source version number