Fixing some debian things