let make_tmp_dir () = begin try Extlib.temp_dir_cleanup_at_exit "wp" with Extlib.Temp_file_error s -> abort "cannot create temporary file: %s" s end