Specify the version of pycurl we want