Add debian 7 support.