# Run mzscheme httpd server at startup ?
RUN_HTTPD=No
