The debian init.d script and GitHub autodeploy cgi