add back old version of flex for grub2

fixes #2191 and #2192