let standalone_of_server s =
  {standalone_ui = s.server_ui;
   standalone_engine = s.server_engine;}