One fix needed for Win32 extops build.