Make some slashes portable across OS's