A utility program to optimize Redis protocol buffer files