Cope with web servers that remove double slashes