Workaround the situation where $_SERVER['REQUEST_URI'] is not set (happens on some windows systems)