fix regression in clock_gettime on 32-bit archs without vdso