Fix 64-bit vs 32-bit mismatch in PersistentCoders.h