(Windows) Fix build (fixes #135)