Another fix to runtests.jl