diff -r ddfead6ea863 -r 4784c14aa639 src/tools/wstool.c
--- a/src/tools/wstool.c	Sun Aug 23 22:02:01 2020 +0200
+++ b/src/tools/wstool.c	Sun Aug 23 23:04:17 2020 +0200
@@ -61,7 +61,7 @@
 }
 
 int tool_get_tmpdir(char *configfile) {
-    ServerConfig *serverconf = load_server_config(configfile);
+    ServerConfig2 *serverconf = load_server_config(configfile);
     UcxList *list = ucx_map_sstr_get(serverconf->objects, sstrn("Runtime", 7));
     if(!list) {
         fprintf(stderr, "Error: No Runtime element in %s\n", configfile);