for 'make get-tools', try wget if curl doesn't work