Add a reasonably low timeout to curl fetches.