Actually this seems to be not the trouble maker. I just compiled 2acba2ce4701aa4450be67fd343217a566b28f16 where I can also reproduce it.