Come instalare bash-builtins su Debian 9 (Stretch)