bash_completion patchen