On Mon, 2020-02-10 at 09:22 +0100, Markus Theil wrote: > I can also > post my small patches doing this, but the current integration into the Makefile can > be called "ad-hoc" at best :). Please do, I can always fix up things but then I have some incentive ;-) johannes