Minor additions to test GitHub for Windows.