Miscellaneous improvements to make-sdk-win32.sh