diff --git a/.github/resources/witness-generator/Makefile b/.github/resources/witness-generator/Makefile
index 8b8d0b0..2627880 100644
--- a/.github/resources/witness-generator/Makefile
+++ b/.github/resources/witness-generator/Makefile
@@ -9,7 +9,7 @@ endif
 CXX             := g++
 CXXFLAGS_COMMON := -std=c++11 -O3 -I. -Wno-address-of-packed-member
 UNAME_S         := $(shell uname -s)
-MACOS_OBJCOPY   := /opt/homebrew/bin/gobjcopy
+MACOS_OBJCOPY   := /opt/homebrew/opt/binutils/bin/gobjcopy
 ifeq ($(UNAME_S),Darwin)
     # On macOS CI we expect GNU objcopy from Homebrew binutils at this exact path.
     ifeq ($(wildcard $(MACOS_OBJCOPY)),)