Fix le32 (should use uint32_t)