diff -r f8187a343ad2 tools/examples/xmexample.hvm
--- a/tools/examples/xmexample.hvm	Fri Feb 20 17:02:36 2009 +0000
+++ b/tools/examples/xmexample.hvm	Tue Feb 27 11:35:28 2009 +0100
@@ -7,11 +7,11 @@
 #============================================================================
 
 import os, re
+
+arch_libdir = 'lib'
 arch = os.uname()[4]
-if re.search('64', arch):
+if os.uname()[0] == 'Linux' and re.search('64', arch):
     arch_libdir = 'lib64'
-else:
-    arch_libdir = 'lib'
 
 #----------------------------------------------------------------------------
 # Kernel image file.
diff -r f8187a343ad2 tools/examples/xmexample.vti
--- a/tools/examples/xmexample.vti	Fri Feb 20 17:02:36 2009 +0000
+++ b/tools/examples/xmexample.vti	Tue Feb 27 11:35:28 2009 +0100
@@ -7,8 +7,10 @@
 #============================================================================
 
 import os, re
+arch_libdir = 'lib'
 arch = os.uname()[4]
-arch_libdir = 'lib'
+if os.uname()[0] == 'Linux' and re.search('64', arch):
+    arch_libdir = 'lib64'
 
 #----------------------------------------------------------------------------
 # Kernel image file.