diff --git a/tools/devtool b/tools/devtool
index 00e453486e3..c3b7b27ed98 100755
--- a/tools/devtool
+++ b/tools/devtool
@@ -1191,7 +1191,7 @@ cmd_install() {
     # Install the binaries
     for binary in "${binaries[@]}"; do
         say "Installing $binary in $install_path"
-        install -m 755 "$( build_bin_path "$target" "$profile" "$binary" )" "$install_path"
+        install -m 755 -D -t "$install_path" "$( build_bin_path "$target" "$profile" "$binary" )"
     done
 }