lab4c customized grub