am 814f4d18: Fix the volantis build

* commit '814f4d18cc4f0ba8daea4a0599c762e0b205fb57':
  Fix the volantis build