Makefile was missing a space in tmc-check-example. At least make didn't work for OS X. Now fixed.