Index: src/ch/Device IO.h
===================================================================
diff -u -rc4af63acd9f2389c06e9c69b7794e368d14c6f41 -r3716ae4c48568300cfdcebe705f9868a9dc8f3df
--- src/ch/Device IO.h	(.../Device IO.h)	(revision c4af63acd9f2389c06e9c69b7794e368d14c6f41)
+++ src/ch/Device IO.h	(.../Device IO.h)	(revision 3716ae4c48568300cfdcebe705f9868a9dc8f3df)
@@ -95,22 +95,8 @@
 	osvi.dwOSVersionInfoSize=sizeof(OSVERSIONINFO);
 
 	GetVersionEx(&osvi);
-	if (osvi.dwPlatformId == VER_PLATFORM_WIN32_WINDOWS)
+	if(osvi.dwPlatformId == VER_PLATFORM_WIN32_NT)
 	{
-		DRIVE_MAP_INFO dmi1, dmi2;
-		dmi1.dmiAllocationLength=sizeof(DRIVE_MAP_INFO);
-		dmi1.dmiInt13Unit=0xff;
-		dmi2.dmiAllocationLength=sizeof(DRIVE_MAP_INFO);
-		dmi2.dmiInt13Unit=0xff;
-		
-		// iDrvNum is 0-based, and we need 1-based
-		if (!GetDriveMapInfo(iDrvNum1+1, &dmi1) || !GetDriveMapInfo(iDrvNum2+1, &dmi2) || dmi1.dmiInt13Unit != dmi2.dmiInt13Unit || dmi1.dmiInt13Unit == 0xff)
-			return false;
-		else
-			return true;
-	}
-	else if (osvi.dwPlatformId == VER_PLATFORM_WIN32_NT)
-	{
 		TCHAR drv1[3], drv2[3];
 		
 		drv1[0]=static_cast<TCHAR>(iDrvNum1+_T('A'));