patch for flint's configure

now flint will link with `-lmpir` if 
configure option 
--with-mpir 
is passed to it