Change needed for ntl 6.2+, this is compatible with ntl 6.1
Merge branch 'trunk' of https://github.com/kiwifb/flint2 into trunk