Update Debian and Ubuntu build-versions.