update debian instructions