fixed etcd crashes on 32 bit