fix an issue with redhat debuginfo