diff --git a/normaliz-3.9.3.tar.gz b/normaliz-3.9.3.tar.gz
deleted file mode 100644
index 0f873ee..0000000
--- a/normaliz-3.9.3.tar.gz
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:0288f410428a0eebe10d2ed6795c8906712848c7ae5966442ce164adc2429657
-size 4946498
diff --git a/normaliz-3.9.4.tar.gz b/normaliz-3.9.4.tar.gz
new file mode 100644
index 0000000..962f955
--- /dev/null
+++ b/normaliz-3.9.4.tar.gz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:fdfcec1bfd4586aee2c43040370e051c1cb28a3d4bdd8d77a62c0c0e0afb9a6f
+size 5069245
diff --git a/normaliz.changes b/normaliz.changes
index c34c27a..5bae2c5 100644
--- a/normaliz.changes
+++ b/normaliz.changes
@@ -1,3 +1,15 @@
+-------------------------------------------------------------------
+Thu Aug 25 15:09:46 UTC 2022 - Jan Engelhardt <jengelh@inai.de>
+
+- Update to release 3.9.4
+  * New: A variant of project-and-lift for "positive systems",
+    i.e. diophantine linear systems whose solutions are
+    nonnegative and for which Normaliz can derive upper bounds
+    for all coordinates directly from the input inequalities and
+    equations.
+  * Lattice points in polytopes can be constrained by polynomial
+    equations and inequalities.
+
 -------------------------------------------------------------------
 Wed Apr 20 09:34:45 UTC 2022 - Jan Engelhardt <jengelh@inai.de>
 
diff --git a/normaliz.spec b/normaliz.spec
index 157fb25..03a7240 100644
--- a/normaliz.spec
+++ b/normaliz.spec
@@ -18,7 +18,7 @@
 
 Name:           normaliz
 %define lname	libnormaliz3
-Version:        3.9.3
+Version:        3.9.4
 Release:        0
 Summary:        Tools for computations in affine monoids and rational cones
 License:        GPL-3.0-or-later
@@ -78,7 +78,7 @@ the Normaliz computations from C++ programs.
 %build
 autoreconf -fi
 %configure --disable-static
-make %{?_smp_mflags}
+%make_build
 
 %install
 %make_install