Delete tokens.h~