DIST: upgrade ubuntu distro