update cint.h for new functions