Delete token.h