Regenerate bftokennames.h