download sources with curl instead of wget on redhat