qualify bash history files correctly