+# ---- adjunct tools -----------------------------------------------------------------
+rdc_replay: rdc_replay.c libmcl.a
+ gcc rdc_replay.c -o rdc_replay -L. -lmcl -lrmr_si -lpthread -lm
+
+rdc_extract: rdc_extract.c libmcl.a
+ gcc rdc_extract.c -o rdc_extract -L. -lmcl -lrmr_si -lpthread -lm