Update Debian 7.2 iso location