Index: tools/autotool.py
===================================================================
--- tools/autotool.py	(revision d75dc0561c7ce077e18de03f15c1afa664e05d5e)
+++ tools/autotool.py	(revision d1d7a9224fd43f2b1810083927b68b44d7e95e5f)
@@ -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"