Update setup_windows_x64.txt