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