Simplify execute_script(). It will probably work under Windows as well.
[tinc] / src / raw_socket /
drwxr-xr-x   ..
-rw-r--r-- 3668 device.c