Am 23.06.2022 um 21:09 schrieb Cottrell, Allin:
Thanks, Juan Carlos. So the problem is confirmed, at least on
Windows.
I'll investigate before long.
Since it ran OK for me, some other ingredients are needed, I guess.
On this machine I am using the decimal point (i.e., _not_ using the
local German settings, which would be the comma), and my username does
not contain blanks or special characters.
Klaus and Juan Carlos, what about you?
thanks
sven