Let the output from an executed script in execute_script() go to
[tinc] / debian / info
2000-04-25 Ivo TimmermansInitial CVS.