insider: using wget as curl is not always available