Hi,

here is a patch that fixes a build failure in bigloo on core-updates. 
I'm not really sure about the commit comment.