Index: wp-settings.php
===================================================================
--- wp-settings.php	(revision 10996)
+++ wp-settings.php	(working copy)
@@ -87,6 +87,9 @@
 			$_SERVER['REQUEST_URI'] .= '?' . $_SERVER['QUERY_STRING'];
 		}
 	}
+// see: http://core.trac.wordpress.org/ticket/4732
+} else {
+	$_SERVER['REQUEST_URI'] = preg_replace("|^https?://+[^/]+|i", $_SERVER['REQUEST_URI']);
 }
 
 // Fix for PHP as CGI hosts that set SCRIPT_FILENAME to something ending in php.cgi for all requests