fix debian files.