Add support for Debian 7.0