in
+
printf "Proof Checker started and listening on port %d\n" port;
flush stdout;
CicEnvironment.set_trust (fun _ -> false);
-Http_daemon.start' ~port ~mode:`Fork callback ;
+let d_spec = Http_daemon.daemon_spec ~port ~mode:`Fork ~callback ~auto_close:true () in
+Http_daemon.main d_spec;
printf "Proof Checker is terminating, bye!\n"