what is the name of the main configuration file for grub? (please specify the file name with no path information)