Minor debian fixes