Merge "Upgrade curl to curl-7_72_0"