Various debian/ scripts fixes