update Ubuntu and Debian instructions [ci skip]