debian installer correction