Re: can't get grub to use /etc/default/grub