Bug#925797: pushed patch to git

[olivier sallou]

I pushed to git a patch that seems to fix the undefined ref to InitGoogle...

Still need to test full build (very long...)

Olivier