Use command "sudo" in instructions for Debian repositories