Fix build for upcoming merge #74

Closed kzhuravl closed 6 years ago