dragonegg: fix build, probably after gcc minor update