Added Debian 7 support