Revert "wget in tools"

This reverts commit 1bb3468798b431852d85057327e18b92c82b4b05.