add back x32 bits/socket.h defining time-related socket options