A helpful person has posted a patched build in the github issue thread here: https://github.com/dmustanger/7dtd-ServerTools/issues/143
Direct link here: https://github.com/dmustanger/7dtd-ServerTools/files/2678237/7dtd-ServerTools-test1.zip
I've installed this build on my server and it works for me.