>>> ERROR: ngspice: fetch failed