Index: tools/autotool.py
===================================================================
--- tools/autotool.py	(revision d75dc0561c7ce077e18de03f15c1afa664e05d5e)
+++ tools/autotool.py	(revision bfdb7c6344e26e53bd81545c5163f53e96517dd6)
@@ -234,5 +234,5 @@
 	if (config['PLATFORM'] == "amd64"):
 		platform = config['PLATFORM']
-		gnu_target = "amd64-linux-gnu"
+		gnu_target = "amd64-unknown-elf"
 		helenos_target = "amd64-helenos"
 	
Index: tools/toolchain.sh
===================================================================
--- tools/toolchain.sh	(revision d75dc0561c7ce077e18de03f15c1afa664e05d5e)
+++ tools/toolchain.sh	(revision bfdb7c6344e26e53bd81545c5163f53e96517dd6)
@@ -359,5 +359,5 @@
 	case "$1" in
 		"amd64")
-			LINUX_TARGET="amd64-linux-gnu"
+			LINUX_TARGET="amd64-unknown-elf"
 			HELENOS_TARGET="amd64-helenos"
 			;;