Index: libmicro-0.4.0/Makefile.com
===================================================================
--- libmicro-0.4.0.orig/Makefile.com	2007-07-02 23:17:45.000000000 +0200
+++ libmicro-0.4.0/Makefile.com	2011-09-10 09:48:27.047968747 +0200
@@ -107,7 +107,7 @@ tattle:		../tattle.c	libmicro.a
 	echo "char * compiler_version = \""`$(COMPILER_VERSION_CMD)`"\";" > tattle.h
 	echo "char * CC = \""$(CC)"\";" >> tattle.h
 	echo "char * extra_compiler_flags = \""$(extra_CFLAGS)"\";" >> tattle.h
-	$(CC) -o tattle $(CFLAGS) -I. ../tattle.c libmicro.a -lrt -lm
+	$(CC) -o tattle $(CFLAGS) -I. ../tattle.c libmicro.a -lrt -lm -lpthread
 
 $(ELIDED_BENCHMARKS):	../elided.c
 	$(CC) -o $(@) ../elided.c