Test fix for Rust CI #2419

Job	Run time
duplicates	3s
build_system	24s
build (gcc-13.deb, --std-tests)	5m 52s
build (gcc-13.deb, --test-libcore)	14m 23s
build (gcc-13.deb, --extended-rand-tests)	9m 11s
build (gcc-13.deb, --extended-regex-example-tests)	6m 18s
build (gcc-13.deb, --extended-regex-tests)	12m 12s
build (gcc-13.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	11m 30s
build (gcc-13.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	11m 26s
build (gcc-13.deb, --projects)	11m 8s
build (gcc-13-without-int128.deb, --std-tests)	6m 0s
build (gcc-13-without-int128.deb, --test-libcore)	14m 3s
build (gcc-13-without-int128.deb, --extended-rand-tests)	8m 21s
build (gcc-13-without-int128.deb, --extended-regex-example-tests)	6m 21s
build (gcc-13-without-int128.deb, --extended-regex-tests)	11m 16s
build (gcc-13-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	11m 30s
build (gcc-13-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	11m 5s
build (gcc-13-without-int128.deb, --projects)	11m 15s
	2h 42m 18s

Provide feedback