add debian 7.2 json file