Various debian/ script fixes