fix Debian files