bash completion tweak