bash completion for Mix