simpler fix for #6495

@loladiro pointed out that e19ad95 wouldn't work after

    julia> run(`top`)