[WIN32] some additions to make-addon.bat