Add definition for Debian 7.3.0 (amd64 and i386)