added in some debian-specific stuff