Fix prefix's ability to contain //, as in https://

Basically, while path is friendly to Windows paths as well as Linux, it's hostile to URLs because it eliminates double-slashes like //, so this change retains the Windows path friendliness while preserving //'s.