Add a temporary debian 7.1 def, until they're parsed by major version.