Add support for Debian 7.3.0 [amd64,i386]