Quick and dirty fix for a cURL problem on some machines