Delete tokens.h