Anyone know offhand how to patch SCRIPT_FILENAME into the 'make_envp' function of mini_httpd.c to enable PHP-CGI compatibility?