Update Debian 7.2 iso location

Please also merge #863