Fix multiple readonly segments on Buster and such

tests/model-checking/Makefile

@@ -16,7 +16,7 @@
 STARPU=../../
 CPPFLAGS=-I$(STARPU)/src -I$(STARPU)/include -I.
 CFLAGS+=-Wall -Wextra -g -DNOCONFIG
-LDFLAGS+=-lsimgrid -lm
+LDFLAGS+=-lsimgrid -lm -Wl,-znorelro -Wl,-znoseparate-code
 
 MC_FLAGS=--cfg=model-check/reduction:none