State machine dumper is in a tools/ subdir