curl: Update script to get curl 8.12.1
1 file changed