Ensure tinc-gui running in 64 bits mode can find tinc's 32 bit registry key.