fix runtests.jl