Fix --with-flint for issue #3

The change was somewhat modelled on ax_boost_base.m4.