diff --git a/ci_scripts/ci_post_clone.sh b/ci_scripts/ci_post_clone.sh
new file mode 100755
index 000000000..4bc90d31f
--- /dev/null
+++ b/ci_scripts/ci_post_clone.sh
@@ -0,0 +1,5 @@
+#!/bin/sh
+
+BASEDIR=$(dirname "$0")
+
+"${BASEDIR}/../Scripts/extract_libraries.sh"