@jvandyke that is one option (more leg work, though). Alternatively, check if curl fails and try to fallback to wget ... Nevertheless, an agnostic solution would be the best :) But, that having said this might not be an issue, and perhaps I am trying to be too defensive (?). What do you think?