Adding Debian 7 support