Hi Yaroslav! Here's a new upstream version of aghermann with a fix for, hard as it is to believe, a NULL pointer dereference, and a small usability fix. Grab a dsc file here: http://johnhommer.com/academic/code/aghermann/source/deb/aghermann_1.0.9-1.dsc. As I see on my QA page, the version 1.0.8 of 01/23/2016, which fixed #812024 and #811407 (both a gcc-6 FTBFS), never made it to unstable. All the more reasons to build and upload the new and shiny 1.0.9. Cheers, Andrei