add debian 7