Add support for Debian 7.1.0 [amd64,i386]