fixed version number for new Debian release.