Ensure tinc-gui running in 64 bits mode can find tinc's 32 bit registry key.
[tinc] / src / linux /
drwxr-xr-x   ..
-rw-r--r-- 4824 device.c