Alternate fix for building with FLINT but w/o NTL

In commit f1cab7c9992f5d, a change was made to fix building without NTL but with FLINT. That fix looks strange to me; the commit here does what *seems* right. But then I am not so familiar with the code, so I wouldn't be surprised if I am misunderstanding something :-).