restore Bash completion