use 64-bit semid_ds layout in the generic version of bits/sem.h