use ant to get the download