Push to 4.0.4 of grub-customizer