isl: use debian mirror

Closes #21683.