get rid of .tokens files