Index: C/Common/CommonLib.c
===================================================================
--- C/Common/CommonLib.c	(revision 16026)
+++ C/Common/CommonLib.c	(working copy)
@@ -665,6 +665,14 @@
     } while (*PathPointer ++ != '\0');
     
     //
+    // Convert ":\\\\" to ":\\", because it doesn't work with WINDOWS_EXTENSION_PATH.
+    //
+    if ((PathPointer = strstr (mCommonLibFullPath, ":\\\\")) != NULL) {
+      *(PathPointer + 2) = '\0';
+      strcat (mCommonLibFullPath, PathPointer + 3);
+    }
+        
+    //
     // Convert "\\.\\" to "\\", because it doesn't work with WINDOWS_EXTENSION_PATH.
     //
     while ((PathPointer = strstr (mCommonLibFullPath, "\\.\\")) != NULL) {