Change definition Debian 7.2.0 because the ISO is now archive