diff --git a/gap-semigroups.changes b/gap-semigroups.changes
index b961863..b8e0f37 100644
--- a/gap-semigroups.changes
+++ b/gap-semigroups.changes
@@ -1,3 +1,9 @@
+-------------------------------------------------------------------
+Thu May 16 13:22:29 UTC 2024 - Jan Engelhardt <jengelh@inai.de>
+
+- Remove more build-time files to soothe rpmlint.
+- Add no-avx.patch.
+
 -------------------------------------------------------------------
 Mon Mar 11 18:27:10 UTC 2024 - Jan Engelhardt <jengelh@inai.de>
 
diff --git a/gap-semigroups.spec b/gap-semigroups.spec
index 27bffe4..40a4adf 100644
--- a/gap-semigroups.spec
+++ b/gap-semigroups.spec
@@ -25,6 +25,7 @@ Group:          Productivity/Scientific/Math
 URL:            https://semigroups.github.io/Semigroups/
 #Git-Clone:     https://github.com/semigroups/Semigroups
 Source:         https://github.com/semigroups/Semigroups/releases/download/v%version/semigroups-%version.tar.gz
+Patch1:         no-avx.patch
 BuildRequires:  automake
 BuildRequires:  c++_compiler
 BuildRequires:  fdupes
@@ -70,7 +71,7 @@ autoreconf -fi
 rm -Rf libsemigroups
 %gappkg_simple_install
 pushd "%buildroot/$fmoddir/"
-rm -Rfv Makefile* configure* cnf/ src/ gapbind14/src/ gapbind14/include/ autom4te.cache config.log
+rm -Rfv Makefile* configure* config.* cnf/ src/ gapbind14/src/ gapbind14/include/ autom4te.cache
 popd
 find "%buildroot" "(" -name "*.orig" -o -name .gitignore -o \
 	-name .dirstamp -o -name .clang-format -o -name .ccls ")" -print -delete
diff --git a/no-avx.patch b/no-avx.patch
new file mode 100644
index 0000000..a75c412
--- /dev/null
+++ b/no-avx.patch
@@ -0,0 +1,24 @@
+From: Jan Engelhardt <ej@inai.de>
+Date: 2024-05-16 15:25:47.416880244 +0200
+
+Disable -mavx leaking into CFLAGS.
+
+---
+ configure.ac |    4 +++-
+ 1 file changed, 3 insertions(+), 1 deletion(-)
+
+Index: semigroups-5.3.7/configure.ac
+===================================================================
+--- semigroups-5.3.7.orig/configure.ac
++++ semigroups-5.3.7/configure.ac
+@@ -62,7 +62,9 @@ KERNEL_DEBUG=$enable_debug
+ AC_SUBST(KERNEL_DEBUG)
+ 
+ # Check if HPCombi is enable, and available
+-AX_CHECK_HPCOMBI
++dnl AX_CHECK_HPCOMBI
++HPCOMBI_CXXFLAGS=""
++AC_SUBST([HPCOMBI_CXXFLAGS])
+ 
+ dnl ##
+ dnl ## Output everything