Updated Debian files.