fix: include problems when compiling without NTL but with FLINT

viewLog.html?buildId=6324&tab=buildResultsDiv&buildTypeId=bt11
viewLog.html?buildId=6311&tab=buildResultsDiv&buildTypeId=bt7