Fix download file list in helper-scripts/download_binaries/extconf.rb