NTL-interface.o required for test