Adding an option to set CINT specific flag --kazu