char dns_version[] = VERSION;