fix: include problems when compiling without NTL but with FLINT