am 5595a937: this might fix the build

Merge commit '5595a93722cc440cee712a73b268c9f61399d876'

* commit '5595a93722cc440cee712a73b268c9f61399d876':
  this might fix the build