Fix coverage for Windows.