grub2: fix another case of gnulib failing under gnu libc