Fix the debian script