bettered debian install instructions