debian instructions added