added debian 7.2 images