Adjusted the Debian files.