use dwarf4 for debuginfo, be more generic about x86_64