work around pydot bug (fix #42)