genheader.pl: create a header file 'cint_workaround.h' to fix the broken