diff --git a/Ports/.port_include.sh b/Ports/.port_include.sh
index 1e787956eb0..855d48151f2 100755
--- a/Ports/.port_include.sh
+++ b/Ports/.port_include.sh
@@ -711,7 +711,7 @@ do_dev() {
         exit 1
     fi
 
-    git_repo=".$workdir-git"
+    git_repo=".${workdir////_}-git"
     [ -d "$git_repo" ] || (
         mv "$workdir" "$git_repo"
         pushd "$git_repo"