Make sm1 to a polymake server based on CGI/OoHG sm1 -q -s "[(parse) (cgi.sm1) pushfile] extension cgiPolymake quit "
