The NTL library should be configured with 'NTL_STD_CXX=on', because it doesn't make sense to compile it without, as the linking then won't work!
Steps to Reproduce:
Add 'NTL_STD_CXX=on' to configure in src_compile() and it works fine!
Hi Per Leslie.
Thanks for your report!
I have added this flag and aso issued a new version, as I see 5.3.2 is out already. Please test and report.