--- singular-4.1.1/factory/ftmpl_inst.cc.orig	2018-07-31 07:05:52.000000000 -0600
+++ singular-4.1.1/factory/ftmpl_inst.cc	2018-10-24 08:35:33.090883509 -0600
@@ -73,7 +73,7 @@ template List<Variable> Difference ( con
 // NTL 6
 #ifdef HAVE_NTL
 #include<NTL/version.h>
-#if NTL_MAJOR_VERSION == 6
+#if NTL_MAJOR_VERSION >= 6
 
 #include<NTL/tools.h>
 #include<NTL/lzz_pE.h>