note that GRUB should be installed