+bugme_chinrem_gcd_SOURCES = bugme_chinrem_gcd.cpp
+bugme_chinrem_gcd_LDADD = ../ginac/libginac.la
+
+factor_univariate_bug_SOURCES = factor_univariate_bug.cpp
+factor_univariate_bug_LDADD = ../ginac/libginac.la
+
+pgcd_relatively_prime_bug_SOURCES = pgcd_relatively_prime_bug.cpp
+pgcd_relatively_prime_bug_LDADD = ../ginac/libginac.la
+
+pgcd_infinite_loop_SOURCES = pgcd_infinite_loop.cpp
+pgcd_infinite_loop_LDADD = ../ginac/libginac.la