Use curl instead of wget (only examples affected)