fix WIN32 build error, introduced by last commit