Fix Windows build after #862. Thanks to @harig for the report.