Re #8882. Trying to get win32 build working.