Add debian7 facts