Add support for Debian 7.2.0 [amd64,i386]