Minor refactoring: replacing wget by curl