--- old/hotspot/make/linux/platform_amd64	2016-04-20 15:11:20.001007055 +0200
+++ /dev/null	2016-02-18 10:58:42.502130963 +0100
@@ -1,15 +0,0 @@
-os_family = linux
-
-arch = x86
-
-arch_model = x86_64
-
-os_arch = linux_x86
-
-os_arch_model = linux_x86_64
-
-lib_arch = amd64
-
-compiler = gcc
-
-sysdefs = -DLINUX -D_GNU_SOURCE -DAMD64