Index: xen-4.0.1/tools/pygrub/src/pygrub
===================================================================
--- xen-4.0.1.orig/tools/pygrub/src/pygrub	2013-03-02 09:12:59.000000000 +0000
+++ xen-4.0.1/tools/pygrub/src/pygrub	2013-03-02 09:23:05.387914137 +0000
@@ -643,6 +643,8 @@
     entry = None
     interactive = True
     isconfig = False
+    not_really = False
+    output_directory = "/var/run/xend/boot"
 
     # what was passed in
     incfg = { "kernel": None, "ramdisk": None, "args": "" }
