Index: configure.pl
--- configure.pl.orig	2007-01-22 03:58:25 +0100
+++ configure.pl	2007-01-22 14:19:59 +0100
@@ -99,7 +99,7 @@
 	if ($? != 0) { die "error executing gcc -dumpmachine: $!"; }
 	if ($gccout =~ m/i[3456]86/) {
 		$processor = 'X86';
-	} elsif ($gccout =~ m/x86_64/) {
+	} elsif ($gccout =~ m/x86_64/ or $gccout =~ m/amd64/) {
 		$processor = 'X64';
 	} elsif ($gccout =~ m/ppc/) {
 		$processor = 'PPC';
