32-bit fix for DAVKit