Silence warning C4800 on Windows