Fix building with ninja