* http: * fix for double // under linux.