We also need python-graph-dot