am bf3e69ef: (-s ours) DO NOT MERGE Fix the build, which has been also fixed separately in the master

Merge commit 'bf3e69efacadd9186604a53fee0e6734b1723bcd'

* commit 'bf3e69efacadd9186604a53fee0e6734b1723bcd':
  DO NOT MERGE