base/path.jl: a few minor tweaks.