Please check if this is a duplicate of https://bugs.launchpad.net/widelands/+bug/1512093, in which case this should already be fixed.
Please check if this is a duplicate of https:/ /bugs.launchpad .net/widelands/ +bug/1512093, in which case this should already be fixed.