minor modifications to FileDownloader