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