use the right file for source-download mirrors