Fix tests #442

Job	Run time
build_system	26s
build (gcc-13.deb, --mini-tests)	5m 39s
build (gcc-13.deb, --std-tests)	5m 46s
duplicates	4s
build (gcc-13.deb, --test-libcore)	12m 55s
build (gcc-13.deb, --extended-rand-tests)	8m 44s
build (gcc-13.deb, --extended-regex-example-tests)	6m 34s
build (gcc-13.deb, --extended-regex-tests)	11m 28s
build (gcc-13.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	15m 54s
build (gcc-13.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	15m 55s
build (gcc-13.deb, --projects)	15m 51s
build (gcc-13-without-int128.deb, --mini-tests)	5m 40s
build (gcc-13-without-int128.deb, --std-tests)	6m 11s
build (gcc-13-without-int128.deb, --test-libcore)	13m 3s
build (gcc-13-without-int128.deb, --extended-rand-tests)	8m 42s
build (gcc-13-without-int128.deb, --extended-regex-example-tests)	6m 31s
build (gcc-13-without-int128.deb, --extended-regex-tests)	11m 47s
build (gcc-13-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	16m 3s
build (gcc-13-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	16m 5s
build (gcc-13-without-int128.deb, --projects)	16m 10s
	3h 19m 28s

Provide feedback