fix: include problems when compiling without NTL but with FLINT
Merge pull request #318 from mmklee/factory_flint

fix: include problems when compiling without NTL but with FLINT