[WIN32] another forgotten one for jenkins