Alternate fix for building with FLINT but w/o NTL
Merge pull request #496 from fingolfin/patch-2

Alternate fix for building with FLINT but w/o NTL