Correct debian instructions (closes #61)