python script to replace use of curl (#124)