On Tue, 2018-11-13 at 18:29 +0100, Mark Wielaard wrote:
> So we might actually have two bugs. 1) we don't handle incorrectly
> aligned compressed sections and 2) we generate such incorrectly
> aligned compressed sections ourselves.
> 
> Pondering fixes.

The fixes were easy!
(Hopefully the buildbot agrees.)
I pushed the attached.

Cheers,

Mark