Change debian-6.0.7 to download using non HTTPS url (for now)