Update master to new upstream 0.85
Please pay extra attention to the symbols update (upstream change linked in the commit comment) and fix up as needed.
Another todo is to update debian/copyright
Please pay extra attention to the symbols update (upstream change linked in the commit comment) and fix up as needed.
Another todo is to update debian/copyright