Allow debian 7 in OS check