Minor debian/ script fixes