@matiasb Oops, I missed that. You are quite right. Actually I just want to fix the bug of grep'ing the whitespace at the end of the filename. Changed. :-)