Vincent Fourmond <fourmond at gmail.com> writes: > This is a known problem, that will probably never be fixed, and is > documented in the file /usr/share/doc/freecol/NEWS.Debian.gz. Ah sorry, I only read changelog.Debian.gz.