Fix windows build (fixes #74)