diff --git a/Makefile b/Makefile
index d2ad6982d..fed1223a2 100644
--- a/Makefile
+++ b/Makefile
@@ -203,7 +203,7 @@ OBJS = kernel/version_$(GIT_REV).o
 bumpversion:
 	sed -i "/^YOSYS_VER := / s/+[0-9][0-9]*$$/+`git log --oneline 03eb220.. | wc -l`/;" Makefile
 
-ABCMKARGS = CC="$(CXX)" CXX="$(CXX)" ABC_USE_LIBSTDCXX=1 ABC_USE_NAMESPACE=abc VERBOSE=$(Q)
+ABCMKARGS = CC="$(CXX)" CXX="$(CXX)" ABC_USE_LIBSTDCXX=1 ABC_USE_NAMESPACE=abc VERBOSE=$(Q) OPTFLAGS="-g -O3"
 
 # set ABCEXTERNAL = <abc-command> to use an external ABC instance
 # Note: The in-tree ABC (yosys-abc) will not be installed when ABCEXTERNAL is set.
diff --git a/abc b/abc
index 131a50dd7..177496d13 160000
--- a/abc
+++ b/abc
@@ -1 +1 @@
-Subproject commit 131a50dd773f21ebbfc51da1d182438382a04209
+Subproject commit 177496d1399822a2910754fdc32f48ed8b1cd265