Michael Albinus <michael.albinus@gmx.de> writes:

> Will do. I'm short in time these days, so it might take some more days
> until I could check.

I could give this a try, but I'm not sure what is the expected behavior
(though I guess that the default directory should be set to the
hostname).

Cheers,
Nico