curl sometime hangs, for no apparent reason.