fix for FLINT_INC_DIR in configure (hopefully)