--- jc/jc_annot_inference.ml.orig	2018-01-23 03:07:35.000000000 -0700
+++ jc/jc_annot_inference.ml	2018-02-10 16:03:04.338379961 -0700
@@ -212,14 +212,14 @@ let name_of_term t =
   Format.fprintf str_formatter "%a" Jc_output.term t;
   let s = Format.flush_str_formatter () in
   let s = filter_alphanumeric s in
-  "T" ^ unique_term_name t s
+  "T" ^ unique_term_name t (Bytes.to_string s)
 
 let name_of_assertion a =
   ignore (Format.flush_str_formatter ());
   Format.fprintf str_formatter "%a" Jc_output.assertion a;
   let s = Format.flush_str_formatter () in
   let s = filter_alphanumeric s in
-  "A" ^ unique_assertion_name a s
+  "A" ^ unique_assertion_name a (Bytes.to_string s)
 
 (* support of <new> (Nicolas) *)
 let rec destruct_alloc t =