MOD: getting IP independent for DNS ginsim.org