On the efabless server, it seems that everything is installed except there is no directory sky130_fd_sc_hd/spice ... But otherwise I understood well for the elements in code.sym but in fact, on my VNC session of the efabless server, there is just missing the directory /ef/tech/SW.2/sky130A/libs.ref/sky130_fd_sc_hd/spice.