let coqc_for_model ~model = 
  let dir = Wp_parameters.get_output () in
  Printf.sprintf "%s/%s_model.v" dir model