Update tmc-check.h