Version 1.11: Fixed a problem in using the "Rgrep <pattern> <filenames>" command.