Making CGI executables with the Mocka compiler.