Re: grub has wrong path for Windows boot