Alternate fix for building with FLINT but w/o NTL