Fix wrench build on Windows

This PR fixes the building of wrench on Windows (and by extension, jujud.exe, where its used).
...and here as well