use Printexc2.to_string everywhere