fix building on osx

Hopefully, I did not break the build on Windows.