make output compatible with xdot format