Fix Windows build after #862. Thanks to @harig for the report.
Merge pull request #866 from nico/winfix

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