update debian/ files