php_curl with windows 64bit