We should be windows-friendly, so jenkins can pass tests and
normal developers can contribute.