Dear Michael, Alexander, Thanks for pushing fixes. I checked buildfarm animals and I could not find failures related with it (configure failure might mask them though). We can keep on eye and come again if there are not still robust. Thanks!
Best regards, Hayato Kuroda FUJITSU LIMITED
