diff --git a/html/cgi-bin/credits.cgi b/html/cgi-bin/credits.cgi
index 6eb7f1e49..f4f22e1a2 100644
--- a/html/cgi-bin/credits.cgi
+++ b/html/cgi-bin/credits.cgi
@@ -85,8 +85,8 @@ Ersan Yildirim,
Stephan Feddersen,
Joern-Ingo Weigert,
Alexander Koch,
-Wolfgang Apolinarski,
Stéphane Pautrel,
+Wolfgang Apolinarski,
Alfred Haas,
Lars Schuhmacher,
Rene Zingel,
diff --git a/make.sh b/make.sh
index 452284c16..02043cf69 100755
--- a/make.sh
+++ b/make.sh
@@ -897,9 +897,14 @@ update_contributors() {
local contributors="$(contributors | paste -sd , - | sed -e "s/,/&\\\\n/g")"
# Edit contributors into credits.cgi
- awk -i inplace \
- "//{ p=1; print; printf \"${contributors}\n\"}//{ p=0 } !p" \
- "${BASEDIR}/html/cgi-bin/credits.cgi"
+ local tmp="$(mktemp)"
+
+ awk "//{ p=1; print; printf \"${contributors}\n\"}//{ p=0 } !p" \
+ < "${BASEDIR}/html/cgi-bin/credits.cgi" > "${tmp}"
+
+ # Copy back modified content
+ cat "${tmp}" > "${BASEDIR}/html/cgi-bin/credits.cgi"
+ unlink "${tmp}"
print_status DONE
return 0