Fix link to debian-7.2.0 box.