removed grub legacy 2013; use pet instead