make repo windows-compatible so we do not break git ...