fix debian install instructions