diff --git a/tools/python/xen/util/auxbin.py b/tools/python/xen/util/auxbin.py
index 8dd2e5dec0..a690ad94d1 100644
--- a/tools/python/xen/util/auxbin.py
+++ b/tools/python/xen/util/auxbin.py
@@ -28,7 +28,7 @@ def execute(exe, args = None):
         a.extend(args)
     try:
         os.execv(exepath, a)
-    except OSError, exn:
+    except (OSError, TypeError), exn:
         print exepath, ": ", exn
         sys.exit(1)