Updated Debian definitions (new Debian 7.6)