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