Some device.c files weren't synchronised.
[tinc] / src / freebsd /
drwxr-xr-x   ..
-rw-r--r-- 2842 device.c