Patch to work arounf flex issues with newer version of flex with some distros.