use friendlier package;

--- a/src/Doc/Corec/document/root.tex	Fri Apr 17 17:32:11 2020 +0200
+++ b/src/Doc/Corec/document/root.tex	Fri Apr 17 21:48:50 2020 +0200
@@ -17,7 +17,7 @@
 \usepackage{pdfsetup}
 \usepackage{railsetup}
 \usepackage{framed}
-\usepackage{regexpatch}
+\usepackage{xpatch}
 
 \makeatletter
 \xpatchcmd{\chaptermark}{\MakeUppercase}{}{}{}%