Fixes #41: Wrapper for FileDownloader