Removed superfluous file tokens.h