Use 4.02 for Windows

Because 4.03 is buggy.