Index: tools/autotool.py
===================================================================
--- tools/autotool.py	(revision d75dc0561c7ce077e18de03f15c1afa664e05d5e)
+++ tools/autotool.py	(revision e02bfb4052ff7a7cb31419189b21eb24ab42bc90)
@@ -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 e02bfb4052ff7a7cb31419189b21eb24ab42bc90)
@@ -359,5 +359,5 @@
 	case "$1" in
 		"amd64")
-			LINUX_TARGET="amd64-linux-gnu"
+			LINUX_TARGET="amd64-unknown-elf"
 			HELENOS_TARGET="amd64-helenos"
 			;;