Update prime.jl