prefer wget to curl, less output