How to install grub-choose-default on Debian 9 (Stretch)