add redirect and update spec.jl