Fix incorrectly merged bits from 80cd2ff73071941a5356555b85a00ee90dfd0e16.
[tinc] / src / linux /
drwxr-xr-x   ..
-rw-r--r-- 6447 device.c