--- old/make/windows/platform_amd64	2011-02-10 13:18:06.086293900 +0100
+++ /dev/null	2011-02-10 13:18:06.000000000 +0100
@@ -1,15 +0,0 @@
-// Platform file for win32 NT platform
-
-os_family = windows
-
-arch = x86
-
-arch_model = x86_64
-
-os_arch = windows_x86
-
-os_arch_model = windows_x86_64
-
-lib_arch = amd64
-
-compiler = visCPP