Patch to compile curl 7.19.0 on ubuntu 12