BasicTools: fix curl usage