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