could we do debian 7 as well ?