Avoid noisy DWARF4 debug printf