Tweaks in debian files