PR: ports/151506 Submitted by: Joerg Pulz <Joerg.Pulz@frm2.tum.de>
where compile_et is not modern enough.