darmstadt: fix v4 reverse dns address