workaround for print_dot() to avoid graphviz utf8 issues