Am 05.11.22 um 11:24 schrieb Stefan Weil via:
This fix is required for 32 bit host. The bug was detected by CI for arm-linux, but is also relevant for i386-linux.
s/host/hosts/ I won't send a v3 for that. Maybe it can be fixed when merging this patch. Stefan