Add support for Debian 7.4.0 [amd64,i386]