[PURRS-devel] Apparent non-termination of NTL's `make check' (version 5.3.2)