Fix execute_script().
[tinc] / src / linux /
drwxr-xr-x   ..
-rw-r--r-- 5611 device.c