Add debian mirrors. Fixes #3045.