On 2018-04-24, at 00:14, Reinhard Kotucha <reinhard.kotucha at web.de> wrote: > Users can also set environment variables but this can cause more > problems than it solves. Well, as I wrote a minute ago, that was exactly what happened to me... Sorry for the noise! Best, -- Marcin Borkowski http://mbork.pl