Update Debian 7 image name.

This seems brittle and should possibly just be removed.