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! Reproducible: Always Steps to Reproduce: 1. 2. 3. 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. George