MT#6809 Use external Debian mirror for jessie distribution