Fix a deprecation warning in TokuDownloader