fix issue #2588 #1163

Job	Run time
style	1m 3s
report	17m 36s
build-test (windows-latest, stable, x86_64-pc-windows-msvc, true)	16m 31s
build-test (macos-latest, stable, x86_64-apple-darwin, true)	8m 13s
build-test (ubuntu-20.04, stable, x86_64-unknown-linux-gnu, true)	8m 36s
build-test (ubuntu-22.04, stable, x86_64-unknown-linux-gnu, true)	8m 41s
build-test (ubuntu-22.04, stable, i686-unknown-linux-gnu, true)	10m 31s
build-test (ubuntu-22.04, nightly, wasm32-unknown-unknown, true, --no-default-features, --no-run ...	6m 15s
build-test (ubuntu-22.04, 1.77, x86_64-unknown-linux-gnu)	4m 4s
build-test (ubuntu-22.04, beta, x86_64-unknown-linux-gnu)	3m 46s
build-test (ubuntu-22.04, nightly, x86_64-unknown-linux-gnu, true, miri)	8m 45s
logtalk-test	7m 55s
release	0s
	1h 41m 56s

Provide feedback