diff --git a/benchmarks/scripts/list.sh b/benchmarks/scripts/list.sh
index b368028da..764193329 100755
--- a/benchmarks/scripts/list.sh
+++ b/benchmarks/scripts/list.sh
@@ -4,7 +4,7 @@
 # - curl
 # - grep
 
-res=$(curl -s https://milli-benchmarks.fra1.digitaloceanspaces.com | grep -oP "(?<=<Key>)[^<]+" | grep -oP --color=never "(?<=^critcmp_results/).+")
+res=$(curl -s https://milli-benchmarks.fra1.digitaloceanspaces.com | grep -o '<Key>[^<]\+' | cut -c 5- | grep critcmp_results/ | cut -c 18-)
 
 for pattern in "$@"
 do