diff -upr sbcl-1.3.1.orig/make-target-2.sh sbcl-1.3.1/make-target-2.sh
--- sbcl-1.3.1.orig/make-target-2.sh	2016-04-06 00:28:53.877953588 +0200
+++ sbcl-1.3.1/make-target-2.sh	2016-04-06 00:29:18.371384320 +0200
@@ -41,6 +41,7 @@ fi
 # for much longer than that, don't worry, it's likely to be normal.
 if [ "$1" != --load ]; then
     echo //doing warm init - compilation phase
+    paxmark.sh -mr ./src/runtime/sbcl
     ./src/runtime/sbcl \
         --core output/cold-sbcl.core \
         --lose-on-corruption \