The answers in https://lists.freebsd.org/pipermail/freebsd-x11/2018-May/021032.html move us now to the source of the problem and its solution. matthias -- Matthias Apitz, ✉ guru at unixarea.de, ⌂ http://www.unixarea.de/ 📱 +49-176-38902045 Public GnuPG key: http://www.unixarea.de/key.pub