Explicitly use 32 bits for keyd socket commands