-SOURCE=libthreads.cc schedule.cc libatomic.cc userprog.c model.cc
-HEADERS=libthreads.h schedule.h common.h libatomic.h model.h
-FLAGS=-Wall
+SOURCE=libthreads.cc schedule.cc libatomic.cc userprog.c model.cc malloc.c
+HEADERS=libthreads.h schedule.h common.h libatomic.h model.h threads_internal.h
+FLAGS=-Wall -ldl