Fix very stupid bug in node_del(), which might have caused corruption of
[tinc] / src / linux /
drwxr-xr-x   ..
-rw-r--r-- 5611 device.c