Libcurl 7.37.1 fails sometimes

Just a warning: I compiled php_curl.dll with libcurl 7.37.1 and ran into
this bug:

https://sourceforge.net/p/curl/bugs/1401/

It happened only on my production server. I tried various other
(virtual) machines, but no dice. Here is the zip with the faulting
php_curl.dll:

http://elijst.nl/php55bad.x32.zip

Unzip it, go to the php-dir, run php -v and see if you get something
like this:

http://elijst.nl/curl7371.gif

Jan