diff -up Singular-3-1-5/libfac/factor/tmpl_inst.cc.orig Singular-3-1-5/libfac/factor/tmpl_inst.cc
--- Singular-3-1-5/libfac/factor/tmpl_inst.cc.orig	2012-08-04 18:15:20.769249365 -0400
+++ Singular-3-1-5/libfac/factor/tmpl_inst.cc	2012-08-04 18:15:29.614249673 -0400
@@ -91,3 +91,5 @@ template class Array<Variable>;
 template class List<CFFList>;
 template class ListIterator<CFFList>;
 #endif /* HAVE_DATABASE */
+
+template bool find<CanonicalForm>(List<CanonicalForm> const&, CanonicalForm const&);