Add minideb renaming for xen.gz