Correct Debian version numbers