update debian files