changed wget by curl which was already used below