Running dot2ct...