/* for grub compatibility */