Added definition of FLINT_DLL to config.h.