I have submitted pull request #342 which includes prissi's changes. Please test before merging; the other pull request did work for me too.
Thank you very much for this: this is much appreciated. I have now incorporated this. We will have to see whether this works on Ubuntu 20.04 with to-morrow's nightly build.
I notice that this solves another problem, too: previously, for some reason, Simutrans had not been closing the server13353-network.sve file, with the result that this could not be deleted or overwritten. I believe that this was the cause of
this error. I only realised that this may have been the cause earlier this evening when trying to delete this file manually and being informed by Windows Explorer that the file was locked by Simutrans-Extended.
If this fix works on the server, too, this should also fix the side-effect of my workaround for this, which is that the players' passwords were automatically reset every evening.