# workaround for https://github.com/dyninst/dyninst/issues/406

--- dyninst-9.3.2/common/src/addrtranslate-sysv.C.sv	2017-10-03 21:32:23.608614189 -0400
+++ dyninst-9.3.2/common/src/addrtranslate-sysv.C	2017-10-03 21:33:36.538642148 -0400
@@ -800,6 +800,7 @@
          continue;
       }
       if (obj_name == "linux-vdso.so.1" ||
+	  obj_name == "linux-vdso64.so.1" ||
           obj_name == "linux-gate.so.1") 
       {
          continue;