Another build fix for Windows (sigh)