fix transfer of CLI switches to GUI options
Merge pull request #591 from koeppea/fix-588

fix DNS resolution problem