Rebuilt for 32-bit 0.25 release