diff --git a/ocaml/create_git_sha1.sh b/ocaml/create_git_sha1.sh
index f1fb7fa6..35cbb7d5 100755
--- a/ocaml/create_git_sha1.sh
+++ b/ocaml/create_git_sha1.sh
@@ -4,9 +4,9 @@ SHA1=$(git log -1  | head -1 | cut -d ' ' -f 2)
 DATE=$(git log -1  | grep Date | cut -d ':' -f 2-)
 MESSAGE=$(git log -1  | tail -1 | sed 's/"/\\"/g')
 cat << EOF > Git.ml
-open Core.Std
-let sha1 = "$SHA1" |> String.strip
-let date = "$DATE" |> String.strip
-let message = "$MESSAGE" |> String.strip
+open Core
+let sha1 = "$SHA1" |> String_ext.strip
+let date = "$DATE" |> String_ext.strip
+let message = "$MESSAGE" |> String_ext.strip
 EOF