Fix rt_sigtimedwait to be architecture-neutral.