How to install bash-builtins on Debian 9 (Stretch)