Update WIN32.txt reflecting new Windows stuff