OFZIPArchive: Restore accidentally dropped cast