Added Debian 7 support.