update the debian install documentation