Don't try to call res_init() if ./configure told us it doesn't exist.
[tinc] / src / linux /
drwxr-xr-x   ..
-rw-r--r-- 6626 device.c