Bash completion for debian