Debian 7 uses /boot/grub/grub.cfg as configuration file instead of grub.conf - issue #473