configure grub; some fixes