diff --git a/build/ninja_gen/src/git.rs b/build/ninja_gen/src/git.rs
index f00ef69e0..9c1be9eac 100644
--- a/build/ninja_gen/src/git.rs
+++ b/build/ninja_gen/src/git.rs
@@ -54,7 +54,7 @@ fn locate_git_head() -> Option<BuildInput> {
                 .filter_map(|p| {
                     let head = p.unwrap().path().join("HEAD");
                     if head.exists() {
-                        Some(head.to_string())
+                        Some(head.as_str().replace(':', "$:").to_string())
                     } else {
                         None
                     }