problem is, this setting is always "smuxi", i checked. i think the config class has a default for it ;)
i could simply change the default to null and everybody is happy (setting it in the config file would then still work)