Correct stupid problem (reported by Lars Eggert) that screwed up option saving.
Support $Opt["dbSocket"].