--- a/tools/Makefile 2012-09-17 22:25:54.683349679 -0500 +++ b/tools/Makefile 2012-09-17 22:49:08.923331802 -0500 @@ -164,6 +164,7 @@ $(QEMU_ROOT)/xen-setup \ --extra-cflags="$(EXTRA_CFLAGS_QEMU_TRADITIONAL)" \ $(IOEMU_CONFIGURE_CROSS); \ + sed -i 's/number[ ]/number-sections /' Makefile; \ $(MAKE) install subdir-clean-qemu-xen-traditional-dir: