bugfix #1: grub-set-default command on different operating systems