Problem in installing SPICE.jl