2014-11-24  Bernd Edlinger  <bernd.edlinger@hotmail.de>

        * Makefile.def (module=gmp): Work around in-tree gmp configure bug with
        missing flex.
        * Makefile.in: Regenerated.

From-SVN: r218025