Delete .token.h