Fix warning "cast from pointer to integer of different size"