Get specs green on Windows

There were several specs with hard-coded `/`