diff --git a/Makefile b/Makefile
index cab80fcbc..86a848a1d 100644
--- a/Makefile
+++ b/Makefile
@@ -24,8 +24,8 @@ bnf:
 
 .PHONY: test_libs
 test_libs: lambdapi
-	@dune exec --only-packages lambdapi -- tests/test_libs.sh https://github.com/Deducteam/lambdapi-logics.git lambdapi-logics
-	@dune exec --only-packages lambdapi -- tests/test_libs.sh https://github.com/Deducteam/lambdapi-stdlib.git lambdapi-stdlib
+	@dune exec --only-packages lambdapi -- tests/test_libs.sh https://github.com/Deducteam/lambdapi-logics.git
+	@dune exec --only-packages lambdapi -- tests/test_libs.sh https://github.com/Deducteam/lambdapi-stdlib.git
 	
 #### Unit tests and sanity check #############################################
 
diff --git a/tests/test_libs.sh b/tests/test_libs.sh
index ca18f0c4a..36c92854b 100755
--- a/tests/test_libs.sh
+++ b/tests/test_libs.sh
@@ -8,7 +8,11 @@ TIMEFORMAT="%Es"
 out=/tmp/lambdapi.output
 
 checkout_lib() {
-    git clone $1 $2
+    IFS='/' read -ra ADDR <<< "$1"
+    repo_name="${ADDR[-1]}"
+    IFS='.' read -ra ADDR <<< "$repo_name"
+    repo_name="${ADDR[0]}"
+    git clone $1 $repo_name
 }
 
 test_Lib() {
@@ -19,6 +23,6 @@ test_Lib() {
     done
 }
 
-checkout_lib $1 $2
+checkout_lib $1
 options='-w'
-time test_Lib $2
+time test_Lib $repo_name