use ant plugin to download files