johannhof Make the new Nightly happy

Latest commit d71a151

Mar 26, 2018