Debian file fixes