update crfpp.h