diff --git a/tests/Makefile.am b/tests/Makefile.am
index 253b82dc3..309a28b58 100644
--- a/tests/Makefile.am
+++ b/tests/Makefile.am
@@ -445,7 +445,8 @@ if USE_LTSMIN
 check_PROGRAMS += ltsmin/modelcheck
 
 ltsmin_modelcheck_SOURCES = ltsmin/modelcheck.cc
-ltsmin_modelcheck_LDADD = $(top_builddir)/spot/ltsmin/libspotltsmin.la $(LDADD)
+ltsmin_modelcheck_LDADD = $(top_builddir)/spot/ltsmin/libspotltsmin.la \
+	$(LDADD) -lpthread
 
 check_SCRIPTS += ltsmin/defs