Fix Windows build after my previous commit