revert r1.260: the workaround isn’t sufficient any more with GCC 14,
a different one or, better, fix will have to be found for this; it
only triggers for dietlibc/x32 so far, but still… might be a deeper
issue…