diff -rupN eigen-3.1.2/eigen-eigen-5097c01bcdc4/cmake/EigenDetermineOSVersion.cmake eigen-3.1.2-new/eigen-eigen-5097c01bcdc4/cmake/EigenDetermineOSVersion.cmake
--- eigen-3.1.2/eigen-eigen-5097c01bcdc4/cmake/EigenDetermineOSVersion.cmake	2012-11-05 22:22:49.000000000 +0100
+++ eigen-3.1.2-new/eigen-eigen-5097c01bcdc4/cmake/EigenDetermineOSVersion.cmake	2013-03-01 23:03:26.732533050 +0100
@@ -26,21 +26,5 @@ function(DetermineShortWindowsName WIN_V
 endfunction()
 
 function(DetermineOSVersion OS_VERSION)
-  if (WIN32 AND CMAKE_HOST_SYSTEM_NAME MATCHES Windows)
-    file (TO_NATIVE_PATH "$ENV{COMSPEC}" SHELL)
-    exec_program( ${SHELL} ARGS "/c" "ver" OUTPUT_VARIABLE ver_output)
-				
-      string(REGEX MATCHALL "[0-9]+"
-           ver_list "${ver_output}")
-      list(GET ver_list 0 _major)		   
-      list(GET ver_list 1 _minor)
-				
-    set(win_num_version ${_major}.${_minor})
-    DetermineShortWindowsName(win_version "${win_num_version}")
-    if(win_version)
-      set(${OS_VERSION} ${win_version} PARENT_SCOPE)
-    endif()
-  else()
-    set(${OS_VERSION} ${CMAKE_SYSTEM} PARENT_SCOPE)
-  endif()
+  set(${OS_VERSION} ${CMAKE_SYSTEM} PARENT_SCOPE)
 endfunction()