removed dot2tex