--- xen-unstable/tools/libxc/Makefile.orig	2005-04-29 08:37:16.000000000 -0500
+++ xen-unstable/tools/libxc/Makefile	2005-04-29 09:01:46.000000000 -0500
@@ -21,7 +21,11 @@ SRCS     += xc_domain.c
 SRCS     += xc_evtchn.c
 SRCS     += xc_gnttab.c
 SRCS     += xc_io.c
+ifeq ($(XEN_TARGET_ARCH),x86_64)
+SRCS     += xc_linux_build_x64.c
+else
 SRCS     += xc_linux_build.c
+endif
 SRCS     += xc_plan9_build.c
 SRCS     += xc_linux_restore.c
 SRCS     += xc_linux_save.c