Delete tokbucket.o