grep command in linux to find a file