update Debian files