Update Debian images, especially for Debian 7.4 and Debian 6.0.9