Fixing build. zip() isn't valid RPython, so use our own implementation.