diff --git a/abc-bundlelib.patch b/abc-bundlelib.patch
index 64b0479..cfb044b 100644
--- a/abc-bundlelib.patch
+++ b/abc-bundlelib.patch
@@ -111,3 +111,14 @@
  
  ABC_NAMESPACE_CXX_HEADER_START
  
+--- src/sat/glucose2/ParseUtils.h.orig
++++ src/sat/glucose2/ParseUtils.h
+@@ -25,7 +25,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR
+ #include <stdio.h>
+ #include <math.h>
+ 
+-#include "misc/zlib/zlib.h"
++#include <zlib.h>
+ 
+ ABC_NAMESPACE_CXX_HEADER_START
+ 
diff --git a/abc-header.patch b/abc-header.patch
index 4a52250..aa5ce97 100644
--- a/abc-header.patch
+++ b/abc-header.patch
@@ -8,3 +8,13 @@
  
  ABC_NAMESPACE_IMPL_START
  
+--- src/sat/glucose2/Glucose2.cpp.orig
++++ src/sat/glucose2/Glucose2.cpp
+@@ -34,6 +34,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR
+ #include "sat/glucose2/Solver.h"
+ 
+ #include "sat/glucose2/CGlucose.h"
++#include "misc/util/abc_global.h"
+ 
+ ABC_NAMESPACE_IMPL_START
+ 
diff --git a/abc.spec b/abc.spec
index 16babf3..f2f6b1c 100644
--- a/abc.spec
+++ b/abc.spec
@@ -1,8 +1,8 @@
 # Upstream doesn't make releases.  We have to check the code out of git.
 %global owner    berkeley-abc
-%global gittag   448f26344325cc78942d576740457036671b0976
+%global gittag   d4fb192575cd319de68764eac5b7e049f575f43e
 %global shorttag %(cut -b -7 <<< %{gittag})
-%global gitdate  20200720
+%global gitdate  20201126
 
 # WARNING: When updating to a newer snapshot, because upstream doesn't do
 # shared library versioning, run abipkgdiff (from libabigail) against the
@@ -22,7 +22,7 @@
 
 Name:           abc
 Version:        1.01
-Release:        27.git%{gitdate}%{?dist}
+Release:        28.git%{gitdate}%{?dist}
 Summary:        Sequential logic synthesis and formal verification
 
 License:        MIT
@@ -144,6 +144,9 @@ install -p -m 0644 %{name}.1 %{buildroot}%{_mandir}/man1
 %{_libdir}/lib%{name}.so
 
 %changelog
+* Thu Nov 26 2020 Gabriel Somlo <gsomlo@gmail.com> - 1.01-28.git20201126
+- Update to latest git snapshot
+
 * Mon Jul 27 2020 Jerry James <loganjerry@gmail.com> - 1.01-27.git20200720
 - Update to latest git snapshot
 - Add -gia patch to fix crash
diff --git a/sources b/sources
index 9f5e922..ea7e794 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (abc-448f263.tar.gz) = bb8805d10031150d1f967da31f01c6ed314689efade008b97d16f984f08132f9672507bafd0bcb518f28f6a3ce332541f312229b7dcfdf6b247ca420540caf07
+SHA512 (abc-d4fb192.tar.gz) = be33bac2854172c01eee1ffe15cf9395fa8fd981efab3ca7ae64a72af3ab7272f8d8c06c63ae9a706691df6838bcfe859f056069f7c94bf030b9a5deeac1d977