Adjustment to the build.ninja file