[PATCH] curl: update to version 7.47.1