changed flint to version 2.3

requires a patch because flint still tries to build with dynamic
libraries even if --disable-shared is set.
changes to e/unit-tests to compile on different machines/config options
trivial change to remove warning message

My fix in b1678b5a3 accidentally redefines a local variable, giving
a warning message.  This fixes that.