EXTRA_DIST = machina2dot.py