Well, I for one didn't have any problems with arguments... How do you use them in your code? Note that you shouldn't get the arguments directly from main. Actually, if you are linking with RCCE, you shouldn't have a classical main, but something like this:
int RCCE_APP (int argc, char **argv)
There you should call
RCCE_init (&argc, &argv);
before doing anything else. Later on, you can access your arguments normally (argv, argv)...
Therefore, you shouldn't really care about those additional arguments, because they are for RCCE, not for your code. Just make sure that you do all the initialization stuff properly.