forgot to respond here!

So you don't see sky130A/libs.ref/sky130_fd_io/verilog/sky130_ef_io.v ?

no, the verlog/ directory is empty although if the failing command I pasted above is meant to populate the files, suppose that's the reason why