Update Grub4dos to 0.4.5c-2013-07-24