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

fix: include problems when compiling without NTL but with FLINT