Got upstream 4d547a5e065b
Renamed from yosys-abc to abc