Fix domino 9 compilation