Fix r213824 on windows