I am getting 62.84.1. Executing ABC. /bin/sh: line 1: 772 Segmentation fault (core dumped) "/build/bin/yosys-abc" -s -f /tmp/yosys-abc-pMiTyH/abc.script 2>&1 ERROR: ABC: execution of command ""/build/bin/yosys-abc" -s -f /tmp/yosys-abc-pMiTyH/abc.script 2>&1" failed: return code 139. after the design is optimized a few times