Index: xen-3.4.1-testing/tools/python/xen/xend/XendDomainInfo.py
===================================================================
--- xen-3.4.1-testing.orig/tools/python/xen/xend/XendDomainInfo.py
+++ xen-3.4.1-testing/tools/python/xen/xend/XendDomainInfo.py
@@ -2118,7 +2118,7 @@ class XendDomainInfo:
         
         if not corefile:
             this_time = time.strftime("%Y-%m%d-%H%M.%S", time.localtime())
-            corefile = "/var/xen/dump/%s-%s.%s.core" % (this_time,
+            corefile = "/var/lib/xen/dump/%s-%s.%s.core" % (this_time,
                               self.info['name_label'], self.domid)
                 
         if os.path.isdir(corefile):