Properly fix arguments.

the first argument is the executable (here, therefore we
need to start popping from the 2nd argument (1).
diff --git a/tools/ b/tools/
index 403ea96..dafa1d8 100755
--- a/tools/
+++ b/tools/
@@ -86,7 +86,7 @@
 # Print out all files that match, as long as the path isn't explicitly
 # pruned. This will print out extraneous results from directories whose
 # parents have a match. These are filtered out by the awk script below.
-find -L "${@:0:$nargs}" $findargs -type f -name "$filename" -print |
+find -L "${@:1:$nargs-1}" $findargs -type f -name "$filename" -print |
 # Only pass along the directory of each match.
 sed -e 's/\/[^\/]*$/\//' |