Modified a conditional statement of mirrors.py, where introducing a new file type might lead to a bug in get_list_of_mirrors()