Remove an unnecessary pointer dereference in execute_script().
[tinc] / src / linux /
drwxr-xr-x   ..
-rw-r--r-- 4904 device.c