drop deprecated --use-mirrors option