Minor changes in make debs scripts