diff --git a/src/goto-cc/hybrid_binary.cpp b/src/goto-cc/hybrid_binary.cpp
index 745fa3cd478..6a0fb9753f2 100644
--- a/src/goto-cc/hybrid_binary.cpp
+++ b/src/goto-cc/hybrid_binary.cpp
@@ -48,7 +48,8 @@ int hybrid_binary(
 
   int result = 0;
 
-#if defined(__linux__) || defined(__FreeBSD_kernel__) || defined(__OpenBSD__)
+#if defined(__linux__) || defined(__FreeBSD_kernel__) ||                       \
+  defined(__FreeBSD__) || defined(__OpenBSD__)
   // we can use objcopy for both object files and executables
   (void)building_executable;