update R-exts.c to go with change to R-exts.texi