http-push.c: make CURLOPT_IOCTLDATA a usable pointer