diff --git a/build/tools/extract_utils.sh b/build/tools/extract_utils.sh
index 98145bb1..6d0fb128 100644
--- a/build/tools/extract_utils.sh
+++ b/build/tools/extract_utils.sh
@@ -130,7 +130,7 @@ function src_file() {
 # output: "dst" if present, "src" otherwise.
 #
 function target_file() {
-    local SPEC="$1"
+    local SPEC="${1%%;*}"
     local SPLIT=(${SPEC//:/ })
     local ARGS="$(target_args ${SPEC})"
     local DST=