diff --git a/src/goto-programs/osx_fat_reader.cpp b/src/goto-programs/osx_fat_reader.cpp
index 54c3e3fcc45..08847cc3e5f 100644
--- a/src/goto-programs/osx_fat_reader.cpp
+++ b/src/goto-programs/osx_fat_reader.cpp
@@ -88,5 +88,7 @@ bool osx_fat_readert::extract_gb(
 {
   PRECONDITION(has_gb_arch);
 
-  return run("lipo", {"lipo", "-thin", "hppa7100LC", "-output", dest, source});
+  return run(
+           "lipo", {"lipo", "-thin", "hppa7100LC", "-output", dest, source}) !=
+         0;
 }
diff --git a/src/goto-programs/read_goto_binary.cpp b/src/goto-programs/read_goto_binary.cpp
index 6a83ed46a55..66aa9f308ca 100644
--- a/src/goto-programs/read_goto_binary.cpp
+++ b/src/goto-programs/read_goto_binary.cpp
@@ -135,7 +135,11 @@ bool read_goto_binary(
     if(osx_fat_reader.has_gb())
     {
       temporary_filet tempname("tmp.goto-binary", ".gb");
-      osx_fat_reader.extract_gb(filename, tempname());
+      if(osx_fat_reader.extract_gb(filename, tempname()))
+      {
+        message.error() << "failed to extract goto binary" << messaget::eom;
+        return true;
+      }
 
       std::ifstream temp_in(tempname(), std::ios::binary);
       if(!temp_in)