Add Debian 7 support