Paulo, if you want to trouble shoot a bit before open a Support case, you can edit the gencr.cfg file change
//printf("gencr\n");
//printf("argc='%d'\n",argc);
//int x;
//for(x=0; x<argc; x++) {
// //printf("argv[%d]='%s'\n",x,argv[x]);
//}
to
printf("gencr\n");
printf("argc='%d'\n",argc);
int x;
for(x=0; x<argc; x++) {
printf("argv[%d]='%s'\n",x,argv[x]);
}
and see if the argc is taken correctly. Thanks _Chi