fix ninja-build issue