Correct version number in Debian package.