remove use-mirrors option (deprecated)