Update with new urls to dot2tex