fix: compile without NTL and without FLINT
update ok_s.lst