add support for Debian 7