fix curl url for command line tools