Update grub4dos to 0.4.5c-2014-08-22.