Re: how to (re-?)construct grub menu?