diff --git a/tool/args.jq b/tool/argsLib.jq
similarity index 100%
rename from tool/args.jq
rename to tool/argsLib.jq
diff --git a/tool/main.jq b/tool/main.jq
index b8d924a..a878f68 100644
--- a/tool/main.jq
+++ b/tool/main.jq
@@ -1,7 +1,7 @@
 # run as: jq export.json -f tool.jq -Cr --args -- 
 
 include "utils";
-include "args";
+include "argsLib";
 include "journalUtils";
 
 def printExperienceStats($stats; $substanceFilter; $consumerFilter; $withTitle):