grub2: updated version number to 13.1