fix build in the CGI driver